Inverse topology in BL-algebras

A topology induced by uniformity on BL-algebras

BL-algebras have been invented by P. Hájek [3] in order to provide an algebraic proof of the completeness theorem of “Basic Logic” (BL, for short) arising from the continuous triangular norms, familiar in the fuzzy logic framework. The above notion is generalized to an algebraic system in which the required conditions are fulfilled (Definition 2.1). Filters in BL-algebras are also defined. A fi...

multiplier in bl-algebras

in this paper, we introduce the notion of multiplier in -algebra and study relationships between multipliers and some special mappings, likeness closure operators, homomorphisms and ( -derivations in -algebras. we introduce the concept of idempotent multipliers in bl-algebra and weak congruence and obtain an interconnection between idempotent multipliers and weak congruences. also, we introduce...

Pure Filters and Stable Topology on BL-algebras

RS-BL-algebras are MV-algebras

We prove that RS-BL-algebras are MV-algebras.

On semi maximal filters in BL-algebras

In this paper, first we study the semi maximal filters in linear $BL$-algebras and we prove that any semi maximal filter is a primary filter. Then, we investigate the radical of semi maximal filters in $BL$-algebras. Moreover, we determine the relationship between this filters and other types of filters in $BL$-algebras and G"{o} del algebra. Specially, we prove that in a G"{o}del algebra, any ...

On (Semi)Topological $BL$-algebras

In last ten years many mathematicians have studied properties of BL-algebras endowed with a topology. For example A. Di Nola and L. Leustean cite{dn} studied compact representations of BL-algebras, L. C. Ciungu cite{ciu} investigated some concepts of convergence in the class of perfect BL-algebras, J. Mi Ko and Y. C. Kim cite{jun} studied relationships between closure operators and BL-algebras,...